一般的な制約のKでmod Kを取りながら計算してもよいなら値を抑えられる